大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beesley Lectures on Regulation (13th : 2003) 的图书(共2123本)

Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

0
索取号：
作者：Leue、 Stefan.、Syst盲、 Tarja Johanna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithms-ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

0
索取号：
作者：Brodal、 Gerth St酶lting.、Leonardi、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 鈥൬ 2004, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Gorrieri、 Roberto.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Active Mining [electronic resource] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers

0
索取号：
作者：Tsumoto、 Shusaku.、Yamaguchi、 Takahira.、Numao、 Masayuki.、Motoda、 Hiroshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Nonlinear Speech Modeling and Applications [electronic resource] : Advanced Lectures and Revised Selected Papers

0
索取号：
作者：Chollet、 G茅rard.、Esposito、 Anna.、Faundez-Zanuy、 Marcos.、Marinaro、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

0
索取号：
作者：Dau、 Frithjof.、Mugnier、 Marie-Laure.、Stumme、 Gerd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 鈥ಱ, 2004, Revised Lectures

0
索取号：
作者：Vene、 Varmo.、Uustalu、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Image Analysis and Processing-ICIAP 2005 [electronic resource] : 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings

0
索取号：
作者：Roli、 Fabio.、Vitulano、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Crispo、 Bruno.、Malcolm、 James A.、Roe、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号：
作者：A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Deterministic and Statistical Methods in Machine Learning [electronic resource] : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

0
索取号：
作者：Winkler、 Joab.、Niranjan、 Mahesan.、Lawrence、 Neil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

0
索取号：
作者：Eisinger、 Norbert.、Ma艂uszy艅ski、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

0
索取号：
作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.